theorem.dtx

---